Deterministic finite automaton

Results: 142



#Item
1Finite automata / Automata theory / Nondeterministic finite automaton / Deterministic automaton / Theoretical computer science / Finite-state machine / Deterministic finite automaton / Computability / Regular language / NP / Muller automaton / Bchi automaton

Session F2C NON-DETERMINISM IN CS HIGH-SCHOOL CURRICULA Michal Armoni 1 and Judith Gal-Ezer 2 Abstract - One of the units in the relatively new high school CS curriculum which is being implemented in Israel is a

Add to Reading List

Source URL: www.openu.ac.il

Language: English - Date: 2009-03-16 13:56:00
2Finite automata / Mathematics / Science and technology / Mathematical analysis / Nondeterministic finite automaton / Finite-state machine / Automaton / John von Neumann / Deterministic finite automaton

Advantages and challenges of programming the Micron Automata Processor

Add to Reading List

Source URL: ontopilot.com

Language: English - Date: 2016-03-21 13:57:59
3Finite automata / Computability / Deterministic automaton / Computational complexity theory / Deterministic finite automaton / Finite-state machine / Regular language / Reduction / Algorithm / Theoretical computer science / Mathematics / Cognitive science

J. EDUCATIONAL COMPUTING RESEARCH, Vol, 2005 SOLVING PROBLEMS REDUCTIVELY MICHAL ARMONI The Open University of Israel and School of Education, Tel-Aviv University

Add to Reading List

Source URL: www.openu.ac.il

Language: English - Date: 2007-10-29 03:55:14
4Finite automata / Compiler construction / Parallel computing / Analysis of parallel algorithms / Speedup / VTD-XML / Concurrent data structure / Finite-state machine / Regular expression / Deterministic finite automaton / Parsing / XML schema

Performance Enhancement with Speculative Execution Based Parallelism for Processing Large-scale XML-based Application Data Michael R. Head

Add to Reading List

Source URL: www.cs.binghamton.edu

Language: English - Date: 2009-04-08 20:31:37
5Finite automata / Parallel computing / Microprocessors / Analysis of parallel algorithms / Nondeterministic finite automaton / Multi-core processor / Thread / Regular expression / Finite-state machine / Speedup / Deterministic finite automaton / Multiprocessing

Parallel Processing of Large-Scale XML-Based Application Documents on Multi-core Architectures with PiXiMaL Michael R. Head† Madhusudhan Govindaraju‡ Grid Computing Research Laboratory, SUNY Binghamton, NY {† mike,

Add to Reading List

Source URL: www.cs.binghamton.edu

Language: English - Date: 2013-07-27 18:44:25
6Finite automata / Parallel computing / Microprocessors / Analysis of parallel algorithms / Nondeterministic finite automaton / Multi-core processor / Thread / Regular expression / Finite-state machine / Speedup / Deterministic finite automaton / Multiprocessing

Parallel Processing of Large-Scale XML-Based Application Documents on Multi-core Architectures with PiXiMaL Michael R. Head† Madhusudhan Govindaraju‡ Grid Computing Research Laboratory, SUNY Binghamton, NY {† mike,

Add to Reading List

Source URL: www.cs.binghamton.edu

Language: English - Date: 2009-04-08 20:30:31
7Formal languages / Finite automata / Finite-state transducer / Regular language / Finite-state machine / Regular expression / Deterministic automaton / Alphabet / Induction of regular languages / Star height

Regular Expressions and Finite-State Automata Overview

Add to Reading List

Source URL: cl.indiana.edu

Language: English - Date: 2016-01-06 12:55:41
8Finite automata / Timed automaton / Muller automaton / Deterministic automaton / Finite-state machine / Regular language / Nondeterministic finite automaton / Alphabet / Automata theory / -automaton

PII:

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2014-03-05 16:37:08
9Computer science / Ω-automaton / Deterministic finite automaton / Nondeterministic finite automaton / Linear temporal logic / Finite-state machine / Symbol / Büchi automaton / Automata theory / Theoretical computer science / Formal methods

How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1

Add to Reading List

Source URL: software.imdea.org

Language: English - Date: 2014-06-27 10:56:07
10Mathematics / Deterministic pushdown automaton / Parsing / Computability / Context-free grammar / Context-free language / Formal grammar / Finite-state machine / Recursive language / Formal languages / Theoretical computer science / Theory of computation

Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina

Add to Reading List

Source URL: langsec.org

Language: English - Date: 2011-12-01 11:57:54
UPDATE